Funny math proof